The Schur algebra is not spectral in B(`2). Romain Tessera∗ July 31, 2009 Abstract We give an example of an infinite matrix whose rows and columns

Source URL: www.normalesup.org

• Algebra
• Mathematics
• Group theory
• Geometric group theory
• Topological groups
• Functional analysis
• Amenable group
• Matrix
• Kazhdan's property
• Cayley graph
• Convolution
• Group cohomology

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

Source URL: dream.inf.ed.ac.uk

• Theoretical computer science
• Markov models
• Formal methods
• Graph theory
• Markov chain
• Process calculus
• Semantics
• Stochastic process
• Mathematics

THE EXT ALGEBRA OF A QUANTIZED CYCLE DAMIEN CALAQUE AND JULIEN GRIVAUX Abstract. Given a quantized analytic cycle (X, σ) in Y, we give a categorical Lie-theoretic interpretation of a geometric condition, discovered by S

Source URL: jgrivaux.perso.math.cnrs.fr

• Algebra
• Abstract algebra
• Mathematics
• Algebras
• Multilinear algebra
• Lie algebras
• Hopf algebras
• Category theory
• Universal enveloping algebra
• PoincarBirkhoffWitt theorem
• Exterior algebra
• F-algebra

Evaluation of RSVP and Mobility-aware RSVP Using Performance Evaluation Process Algebra Hao Wang and David I. Laurenson Jane Hillston

Source URL: www.dcs.ed.ac.uk

• Internet architecture
• Computing
• Network architecture
• Internet
• Quality of service
• Teletraffic
• Resource Reservation Protocol
• Network protocols
• Integrated services
• Mobile IP
• Handover
• RSVP

Polynomial Time Interactive Proofs for Linear Algebra with Exponential Matrix Dimensions and Scalars Given by Polynomial Time Circuits In memory of Wen-tsun Wu–Jean-Guillaume Dumas

Source URL: perso.ens-lyon.fr

1 Roadmap for the Development of a Linear Algebra Library for Exascale Computing SLATE: Software for Linear Algebra Targeting Exascale

Source URL: www.icl.utk.edu

• Concurrent computing
• Computing
• Computer programming
• Parallel computing
• Numerical linear algebra
• Numerical software
• Application programming interfaces
• Fortran
• OpenACC
• Math Kernel Library
• OpenMP
• ScaLAPACK

Recent Progress in Linear Algebra and Lattice Basis Reduction Gilles Villard CNRS, ENS de Lyon, INRIA, UCBL, Université de Lyon Laboratoire LIP

Source URL: perso.ens-lyon.fr

• Mathematics
• Algebra
• Cryptography
• Computational number theory
• Lattice points
• Linear algebra
• Lattice-based cryptography
• Lattice reduction
• LenstraLenstraLovsz lattice basis reduction algorithm
• Hermite normal form
• Euclidean algorithm
• Integer relation algorithm

Left inverses of matrices with polynomial decay. Romain Tessera∗ July 21, 2010 Abstract It is known that the algebra of Schur operators on `2 (namely operators

Source URL: www.normalesup.org

• Mathematical analysis
• Mathematics
• Functional analysis
• Operator theory
• Algebra
• Mathematical notation
• Operator
• Matrix
• Pseudo-differential operator
• Bounded operator
• Banach algebra
• Mutation

Modelling the Influence of RKIP on the ERK Signalling Pathway Using the Stochastic Process Algebra PEPA Muffy Calder1 , Stephen Gilmore2 , and Jane Hillston2 1

Source URL: www.dcs.ed.ac.uk

• Signal transduction
• Cell signaling
• Protein kinase inhibitors
• MAPK/ERK pathway
• Raf kinase inhibitor protein
• RAF kinase
• Metabolic pathway
• Pathway
• C-Raf

3 Designing SLATE SLATE: Software for Linear Algebra Targeting Exascale Jakub Kurzak Panruo Wu

Source URL: www.icl.utk.edu

• Numerical software
• Numerical analysis
• Numerical linear algebra
• Mathematical software
• Computing
• LAPACK
• Basic Linear Algebra Subprograms
• Math Kernel Library
• OpenMP
• Graphics processing unit
• Cholesky decomposition
• Tile